A program logic for resources

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A program logic for resources

We introduce a reasoning infrastructure for proving statements on resource consumption in an abstract fragment of the Java Virtual Machine Language (JVML). The infrastructure is based on a small hierarchy of program logics, with increasing levels of abstraction: at the top there is a type system for a high-level language that encodes resource consumption. The infrastructure is designed to be us...

متن کامل

Program Budgeting and Marginal Analysis (PBMA) A Method for Prioritizing Resources: A Review Article

Introduction: The optimal allocation of resources is based on the resource requirement of important functions of the health system. The aim of this study is to introduce marginal budget planning and marginal analysis as a new approach to allocating resources of health system resources. Methods: Using the Medline and Google Scholar databases and the PBMA keyword search, studies published in rele...

متن کامل

A Program Logic for Bytecode

Program logics for bytecode languages such as Java bytecode or the .NET CIL can be used to apply Proof-Carrying Code concepts to bytecode programs and to verify correctness properties of bytecode programs. This paper presents a Hoare-style logic for a sequential bytecode kernel language similar to Java bytecode and CIL. The logic handles object-oriented features such as inheritance, dynamic met...

متن کامل

A Program Logic for Gamma

We take a systematic approach to the construction of a program logic for Gamma, by applying Abramsky's domain theory in logical form to a denotational semantics of the language. Starting from a resumption semantics of Gamma, we are able to derive both the formulae and the proof system of the transition assertion logic previously proposed by Errington, Hankin and Jensen. The general theory enabl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2007

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2007.09.003